$\vdash$  $\forall$$A$:$\mathbb{P}$. Dec($A$) $\Rightarrow$ (($\neg\neg$$A$) $\Leftarrow\!\Rightarrow$ $A$)